A Combinatorial Consistency Lemmawith application to proving
نویسندگان
چکیده
The current proof of the PCP Theorem (i.e., N P = PCP(log; O(1))) is very complicated. One source of diiculty is the technically involved analysis of low-degree tests. Here, we refer to the diiculty of obtaining strong results regarding low-degree tests; namely, results of the type obtained and used by Arora and Safra and Arora et. al. In this paper, we eliminate the need to obtain such strong results on low-degree tests when proving the PCP Theorem. Although we do not get rid of low-degree tests altogether, using our results it is now possible to prove the PCP Theorem using a simpler analysis of low-degree tests (which yields weaker bounds). In other words, we replace the strong algebraic analysis of low-degree tests presented by Arora and Safra and Arora et. al. by a combinatorial lemma (which does not refer to low-degree tests or polynomials).
منابع مشابه
A Combinatorial Consistency Lemma with Application to Proving the PCP Theorem
The current proof of the PCP Theorem (i.e., NP = PCP(log, O(1))) is very complicated. One source of difficulty is the technically involved analysis of low-degree tests. Here, we refer to the difficulty of obtaining strong results regarding low-degree tests; namely, results of the type obtained and used by Arora and Safra and Arora et. al. In this paper, we eliminate the need to obtain such stro...
متن کاملA Combinatorial Algorithm for Fuzzy Parameter Estimation with Application to Uncertain Measurements
This paper presents a new method for regression model prediction in an uncertain environment. In practical engineering problems, in order to develop regression or ANN model for making predictions, the average of set of repeated observed values are introduced to the model as an input variable. Therefore, the estimated response of the process is also the average of a set of output values where th...
متن کاملCombinatorial Expressions and Lower Bounds
A new paradigm, called combinatorial expressions, for computing functions expressing properties over infinite domains is introduced. The main result is a generic technique, for showing indefinability of certain functions by the expressions, which uses a result, namely Hales-Jewett theorem, from Ramsey theory. An application of the technique for proving inexpressibility results for logics on met...
متن کاملA convex combinatorial property of compact sets in the plane and its roots in lattice theory
K. Adaricheva and M. Bolat have recently proved that if $,mathcal U_0$ and $,mathcal U_1$ are circles in a triangle with vertices $A_0,A_1,A_2$, then there exist $jin {0,1,2}$ and $kin{0,1}$ such that $,mathcal U_{1-k}$ is included in the convex hull of $,mathcal U_kcup({A_0,A_1, A_2}setminus{A_j})$. One could say disks instead of circles.Here we prove the existence of such a $j$ and $k$ ...
متن کاملMacMahon’s Partition Analysis IV: Hypergeometric Multisums
In his famous book “Combinatory Analysis” MacMahon introduced Partition Analysis as a computational method for solving problems in connection with linear homogeneous diophantine inequalities and equations, respectively. The object of this paper is to introduce an entirely new application domain for MacMahon’s operator technique. Namely, we show that Partition Analysis can be also used for provi...
متن کامل